//
// Extensions to the IO class provided by jscsh
//
// Author: Jonathan Hohle
//
IO.readlines = function(filename, separator) {
    if (separator == undefined) {
        separator = '\n'
    }
    var file = this.read(filename);
    return file.split(separator)
}